Interactive Proof Presentations with Cobra

Interactive Proof Presentations with Cobra

We present Cobra, a modern proof presentation framework, leveraging cutting-edge presentation technology together with a state of the art interactive theorem prover to present formalized mathematics as active documents. Cobra provides both an easy way to present proofs and a novel approach to auditorium interaction. The presentation is checked live by the theorem prover, and moreover allows for...

IP4 Interactive Presentations

Laser attacks, especially on circuits manufactured with recent deep submicron semiconductor technologies, pose a threat to secure integrated circuits due to the multiplicity of errors induced by a single attack. An efficient way to neutralize such effects is the design of appropriate countermeasures, according to the circuit implementation and characteristics. Therefore tools which allow the ea...

IP2 Interactive Presentations

Random number generators are an essential part of cryptographic systems. For the highest level of security, true random number generators (TRNG) are needed instead of pseudo-random number generators. In this paper, the stochastic behavior of the spin transfer torque magnetic tunnel junction (STT-MTJ) is utilized to produce a TRNG design. A parallel structure with multiple MTJs is proposed that ...

Graphical Presentations of Interactive Systems

CounterPoint: Creating Jazzy Interactive Presentations

In this paper, we introduce Counterpoint, a zooming presentation tool. CounterPoint supports the construction of slide show style presentations with content arrangement in a 2.5D space. As with other Zoomable User Interfaces, CounterPoint provides animated navigations as transitions through this space. Our tool also supports both automated sequential paths and interactive navigation through the...